Add Bug#12036 to latest ChangeLog entry.

(I found this bug report after installing the change.)

diff --git a/src/ChangeLog b/src/ChangeLog
index ec43d9cd2843557166d5150bc5545fae5a13f9ba..1009ea455fa740b185b369bd2fdf348d81513a50 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,6 @@
 2012-07-26  Paul Eggert  <eggert@cs.ucla.edu>
 
-       Simplify export of symbols to GDB; fix related .gdbinit bugs.
+       Simplify export of symbols to GDB (Bug#12036).
        * .gdbinit (xgetptr, xgetint, xgettype): Don't use "set $bugfix =
        $bugfix.i", as this doesn't work (with GDB 7.4.1, anyway).
        (xgetptr, xgetint, xgettype, xcoding, xcharset, xprintbytestr):